Formal methods for verification in human-agent interaction
- Författare
- Umeå universitet Andreas Brännström
- (Andreas Brännström., Diss. Umeå : Umeå universitet, 2025, With a summary in Swedish)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of computing science, Umeå University | 2025 | Sverige, Umeå | 262 sidor illustrationer | 978-91-8070-682-7 |